Optimal. Leaf size=77 \[ -\frac {(b d-a e) (B d-A e)}{5 e^3 (d+e x)^5}+\frac {2 b B d-A b e-a B e}{4 e^3 (d+e x)^4}-\frac {b B}{3 e^3 (d+e x)^3} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.03, antiderivative size = 77, normalized size of antiderivative = 1.00, number of steps
used = 2, number of rules used = 1, integrand size = 18, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.056, Rules used = {78}
\begin {gather*} \frac {-a B e-A b e+2 b B d}{4 e^3 (d+e x)^4}-\frac {(b d-a e) (B d-A e)}{5 e^3 (d+e x)^5}-\frac {b B}{3 e^3 (d+e x)^3} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 78
Rubi steps
\begin {align*} \int \frac {(a+b x) (A+B x)}{(d+e x)^6} \, dx &=\int \left (\frac {(-b d+a e) (-B d+A e)}{e^2 (d+e x)^6}+\frac {-2 b B d+A b e+a B e}{e^2 (d+e x)^5}+\frac {b B}{e^2 (d+e x)^4}\right ) \, dx\\ &=-\frac {(b d-a e) (B d-A e)}{5 e^3 (d+e x)^5}+\frac {2 b B d-A b e-a B e}{4 e^3 (d+e x)^4}-\frac {b B}{3 e^3 (d+e x)^3}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.02, size = 65, normalized size = 0.84 \begin {gather*} -\frac {3 a e (4 A e+B (d+5 e x))+b \left (3 A e (d+5 e x)+2 B \left (d^2+5 d e x+10 e^2 x^2\right )\right )}{60 e^3 (d+e x)^5} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.08, size = 79, normalized size = 1.03
method | result | size |
gosper | \(-\frac {20 b B \,x^{2} e^{2}+15 A b \,e^{2} x +15 B a \,e^{2} x +10 B b d e x +12 A a \,e^{2}+3 A b d e +3 B a d e +2 B b \,d^{2}}{60 e^{3} \left (e x +d \right )^{5}}\) | \(73\) |
risch | \(\frac {-\frac {B b \,x^{2}}{3 e}-\frac {\left (3 A b e +3 B a e +2 B b d \right ) x}{12 e^{2}}-\frac {12 A a \,e^{2}+3 A b d e +3 B a d e +2 B b \,d^{2}}{60 e^{3}}}{\left (e x +d \right )^{5}}\) | \(74\) |
default | \(-\frac {A b e +B a e -2 B b d}{4 e^{3} \left (e x +d \right )^{4}}-\frac {A a \,e^{2}-A b d e -B a d e +B b \,d^{2}}{5 e^{3} \left (e x +d \right )^{5}}-\frac {b B}{3 e^{3} \left (e x +d \right )^{3}}\) | \(79\) |
norman | \(\frac {-\frac {B b \,x^{2}}{3 e}-\frac {\left (3 A b \,e^{3}+3 B a \,e^{3}+2 B b d \,e^{2}\right ) x}{12 e^{4}}-\frac {12 A a \,e^{4}+3 A b d \,e^{3}+3 B a d \,e^{3}+2 B b \,d^{2} e^{2}}{60 e^{5}}}{\left (e x +d \right )^{5}}\) | \(88\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.30, size = 113, normalized size = 1.47 \begin {gather*} -\frac {20 \, B b x^{2} e^{2} + 2 \, B b d^{2} + 12 \, A a e^{2} + 3 \, {\left (B a e + A b e\right )} d + 5 \, {\left (2 \, B b d e + 3 \, B a e^{2} + 3 \, A b e^{2}\right )} x}{60 \, {\left (x^{5} e^{8} + 5 \, d x^{4} e^{7} + 10 \, d^{2} x^{3} e^{6} + 10 \, d^{3} x^{2} e^{5} + 5 \, d^{4} x e^{4} + d^{5} e^{3}\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.37, size = 106, normalized size = 1.38 \begin {gather*} -\frac {2 \, B b d^{2} + {\left (20 \, B b x^{2} + 12 \, A a + 15 \, {\left (B a + A b\right )} x\right )} e^{2} + {\left (10 \, B b d x + 3 \, {\left (B a + A b\right )} d\right )} e}{60 \, {\left (x^{5} e^{8} + 5 \, d x^{4} e^{7} + 10 \, d^{2} x^{3} e^{6} + 10 \, d^{3} x^{2} e^{5} + 5 \, d^{4} x e^{4} + d^{5} e^{3}\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 2.63, size = 134, normalized size = 1.74 \begin {gather*} \frac {- 12 A a e^{2} - 3 A b d e - 3 B a d e - 2 B b d^{2} - 20 B b e^{2} x^{2} + x \left (- 15 A b e^{2} - 15 B a e^{2} - 10 B b d e\right )}{60 d^{5} e^{3} + 300 d^{4} e^{4} x + 600 d^{3} e^{5} x^{2} + 600 d^{2} e^{6} x^{3} + 300 d e^{7} x^{4} + 60 e^{8} x^{5}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 2.30, size = 71, normalized size = 0.92 \begin {gather*} -\frac {{\left (20 \, B b x^{2} e^{2} + 10 \, B b d x e + 2 \, B b d^{2} + 15 \, B a x e^{2} + 15 \, A b x e^{2} + 3 \, B a d e + 3 \, A b d e + 12 \, A a e^{2}\right )} e^{\left (-3\right )}}{60 \, {\left (x e + d\right )}^{5}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 1.07, size = 118, normalized size = 1.53 \begin {gather*} -\frac {\frac {12\,A\,a\,e^2+2\,B\,b\,d^2+3\,A\,b\,d\,e+3\,B\,a\,d\,e}{60\,e^3}+\frac {x\,\left (3\,A\,b\,e+3\,B\,a\,e+2\,B\,b\,d\right )}{12\,e^2}+\frac {B\,b\,x^2}{3\,e}}{d^5+5\,d^4\,e\,x+10\,d^3\,e^2\,x^2+10\,d^2\,e^3\,x^3+5\,d\,e^4\,x^4+e^5\,x^5} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________